THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
نویسندگان
چکیده
Editorial Note This lecture was given by Per Martin-Löf at Leiden University on August 25, 2001 the invitation Göran Sundholm to address topic mentioned in title and reflect Dummett’s earlier effort of almost a decade before (published this journal). The part three-day conference Gottlob Frege. arranged for be recorded commissioned Bjørn Jespersen make transcript. information footnote 1, which provided, has been independently confirmed Thomas Ricketts an email author. present version edited Ansten Klev. Following displayed text (Int-id) there is lacuna original transcript corresponding pause recording when tape changed. continuous result few additions suggested Klev agreed
منابع مشابه
Constructive Sheaf Semantics
Sheaf semantics is developed within a constructive and predicative framework, Martin-Lof’s type theory. We prove strong completeness of many sorted, first order intuitionistic logic with respect to this semantics, by using sites of provably functional relations. Mathematics Subject Classification: 03B20, 03C90, 18F10, 18F25.
متن کاملFigurative language and the semantics-pragmatics distinction
This paper aims at demonstrating that the cognitive mechanisms underlying certain tropes (e.g. metaphor or metonymy) may assume variable degrees of conventionalisation, thereby giving rise to a range of phenomena along either side of the semantics/ pragmatics distinction. Examining specifically cases of metonymy, I propose a pragmatic account of creative, one-off metonymic expressions using the...
متن کاملRecanati on the Semantics/pragmatics Distinction
One of the hottest philosophical debates in recent years concerns the nature of the semantics/pragmatics divide. Some writers have expressed the reserve that this might be merely terminological, but in my view it ultimately concerns a substantive issue with empirical implications: the scope and limits of a serious scientific undertaking, formal semantics. In this critical note I discuss two arg...
متن کاملLinguistic communication and the semantics/pragmatics distinction
Most people working on linguistic meaning or communication assume that semantics and pragmatics are distinct domains, yet there is still little consensus on how the distinction is to be drawn. The position defended in this paper is that the semantics/pragmatics distinction holds between (context-invariant) encoded linguistic meaning and speaker meaning. Two other ‘minimalist’ positions on seman...
متن کاملA Constructive Semantics for ALC
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2021
ISSN: ['1943-5894', '1079-8986']
DOI: https://doi.org/10.1017/bsl.2021.61